Мода́льная ло́гика - логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
* * *
МОДАЛЬНАЯ ЛОГИКА - МОДА́ЛЬНАЯ ЛО́ГИКА, логическая теория модальностей (см. МОДАЛЬНОСТЬ) (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
МОДАЛЬНАЯ ЛОГИКА - логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
Модальная логика
(modal logic), область логики (логика формальная), изучающая умозаключения, содержащие понятия необходимости и возможности. К осн. принципам М.л. относятся, напр., такие: если нечто необходимо, то оно и дано; если нечто дано, то оно возможно; соответственно то, что с необходимостью следует из необходимого, само необходимо. Однако за пределами общепринятых принципов открывается широкое пространство для дискуссии о том, какие именно способы умозаключения адекватно отражают наше интуитивное понимание возможности и необходимости. Разработано неск. разл. систем модального рассуждения.